Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar

Source URL: www.ccs.neu.edu

• Software engineering
• Computer programming
• Programming language theory
• Linear algebra
• Software design patterns
• Matrix theory
• Trace
• Program slicing
• Monad
• Substitution
• FO
• ALGOL 68

Teaching Programming Language Design and Implementation What? To Whom? How? Michael Hind

Source URL: wp.acm.org

The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier

Hardware Design and Functional Programming: Still Interesting after All These Years

Source URL: www.icfpconference.org

• APL programming language family
• IBM software
• APL
• Digital electronics
• Computer
• Hardware description language
• Computing
• Kenneth E. Iverson

Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK,

Source URL: ecoop14.it.uu.se

• Computing
• Computer science
• Academia
• ACM Transactions on Programming Languages and Systems
• International Symposium on Memory Management
• Programming Language Design and Implementation
• Benchmarking
• Uncertainty
• Benchmark
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Standard Performance Evaluation Corporation
• Common Object Request Broker Architecture

Design and Implementation of Transactional Constructs for C/C++ Yang Ni James Cownie Adam Welc Ali-Reza Adl-Tabatabai

Source URL: www.adamwelc.org

• Computing
• Software
• Transaction processing
• Concurrency control
• Programming language implementation
• Compiler construction
• Data management
• Software transactional memory
• Transactional memory
• Optimistic concurrency control
• Lock
• Isolation

The Debugging Task: Evaluating a Robotics Design Workshop Emily Hamner, Tom Lauwers, Debra Bernstein Carnegie Mellon University and the University of Pittsburgh E. Hamner, CREATE Lab, Carnegie Mellon University, Pittsbu

Source URL: www.ri.cmu.edu

• Robotics
• Robot
• Debugging
• Visual programming language

Reverse-Engineering the Literature on Design Patterns and Reverse-Engineering Simon Denier, Foutse Khomh, and Yann-Ga¨el Gu´eh´eneuc Ptidej Team DIRO, Universit´e de Montr´eal and ´

Source URL: swat.polymtl.ca

• Design
• Software engineering
• Software design patterns
• Academia
• Architectural theory
• Visual arts
• Software development
• Architectural pattern
• Pattern
• Object-oriented programming
• Interaction design pattern
• Pattern language

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages